翻訳と辞書 Words near each other ・ Richard Weber ・ Richard Weber (explorer) ・ Richard Weber (mathematician) ・ Richard Wainwright (politician) ・ Richard Wainwright (Spanish–American War naval officer) ・ Richard Waite ・ Richard Waite (cricketer) ・ Richard Waites ・ Richard Waitt ・ Richard Wakefield ・ Richard Wakeford ・ Richard Waldegrave ・ Richard Waldegrave (politician) ・ Richard Waldegrave (soldier) ・ Richard Walden ・ Richard Waldinger ・ Richard Waldron ・ Richard Waldron (Colonel) ・ Richard Waldron (disambiguation) ・ Richard Waldron (Secretary) ・ Richard Waldron IV ・ Richard Walker ・ Richard Walker (angler) ・ Richard Walker (baritone) ・ Richard Walker (equestrian) ・ Richard Walker (footballer, born 1971) ・ Richard Walker (footballer, born 1977) ・ Richard Walker (footballer, born 1980) ・ Richard Walker (MP) ・ Richard Walker (philosopher) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Richard Waldinger ： ウィキペディア英語版 Richard Waldinger Richard Jay Waldinger is a computer science researcher at SRI International's Artificial Intelligence Center (where he has worked since 1969) whose interests focus on the application of automated deductive reasoning to problems in software engineering and artificial intelligence. ==Early life and education== In his thesis (Carnegie Mellon University, 1969), which concerned the extraction of computer programs from proofs of theorems, he found that the application of the resolution rule accounted for the appearance of a conditional branch in the extracted program, while the use of the mathematical induction principle caused the introduction of recursion and other repetitive constructs. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Richard Waldinger」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.